| INFO Always true: |
| Nothing inferred when var2 (java.lang.Integer) is not type of java.lang.Integer - 395 420 |
| INFO Always false: |
| Nothing inferred when var2 (java.lang.Integer) is type of EClassifierLiteral=EPackage - 468 501 |
| INFO Always true: |
| Nothing inferred when var2 (java.lang.Integer) is not kind of java.lang.Integer - 548 573 |
| INFO Always false: |
| Nothing inferred when var2 (java.lang.Integer) is kind of EClassifierLiteral=EPackage - 621 654 |
| INFO Always true: |
| Nothing inferred when var1 (java.lang.Double) is not type of java.lang.Double - 2825 2847 |
| INFO Always false: |
| Nothing inferred when var1 (java.lang.Double) is type of EClassifierLiteral=EPackage - 2895 2928 |
| INFO Always true: |
| Nothing inferred when var1 (java.lang.Double) is not kind of java.lang.Double - 2972 2994 |
| INFO Always false: |
| Nothing inferred when var1 (java.lang.Double) is kind of EClassifierLiteral=EPackage - 3042 3075 |