/test/505-simplifier-type-propagation/src/
../
Main.java