- Added check for functions arguments in rExists SA.
- Added appropriate tests for functions rExists and updated old tests to work correctly.
- Changed tExists to reconize void and bool as types.