Basic translation of 'return' statement
Verifying basic translation of instantiable
Overriding symbols in parent scope