Characteristic predicate Assigns::AssignStmt::AssignStmt

AssignStmt()