further credits
propagate returns
unknown class exception
test return
support for if
test null returns
test if
fix if
broken if