Design Loader FunctionInvocation SymbolicType SymbolicExpression SymbolicInteger ConcolicEngine PathToConstraint Predicate Constraint