added option to kompile and krun controlling whether the java backend throws a failed assertion when function definitions are not deterministic
Merge pull request #275 from andreistefanescu/master

added option to kompile and krun controlling whether the java backend th...