Added cli single pragma query for model-checker. Changed cli avatar-rg layout and flags. Solved a bug in the interpreter. Solved a possible null pointer exp in AvatarExpressionAttribute. Added test for single pragma query. Added rg generation during property study.

Adding the expansion of the graph subtree when a graph is added. Moreover, deleting a graph now deletes it from disk