Issue #1195: Add tests for assert(false), if (true), if (false) and while(true).
Issue #1195: Implement special handling of if(true), if(false) and assert(false).
Issue #1195: Implement special handlnig for while(true), which doesn't work if the loop contains a break statement
Issue #1195: Use an infinite loop instead of a throw new RuntimeException(), for smaller and more trivial bytecode.
Issue #1195: Use a BreakVisitor to determine whether a while loop contains breaks, thus fixing the special handling of while(true) for this case.
Issue #1195: Add .src for the tests