Constraint Implementations

JimpleLocal to JimpleLocal
JimpleLocal to JNewInstance
JimpleLocal to InvokeExpr (Parameters and Return)