Merge pull request #105 from malaverdiere/develop

Minor improvements
Explanation for exception
Bugfix: Do not add clinit edges pointing into phantom classes
conservative uses validation for traps
More verbose exception messages
Jasmin's .source name cannot start with a digit
Experimental constraint solver for Dexpler. Disabled by default.
Merge pull request #106 from malaverdiere/develop

Minor refactoring and cleanup
Added detail of error in JVirtualInvokeExpr