Added support for 'given (expr)';
Code simplifications; Fixed 'bool && (return)';