Began implementation of checkGuardedRecursive function. Also, minor changes to epsilon function.