public SymbolicMemoryState(SymbolicMemoryState sms) { Variables = new Dictionary <string, ExpressionSyntax>(sms.Variables); }