Added extra reloc reasoning principle, added more mutual recursive function...

Added extra reloc reasoning principle, added more mutual recursive function tests, simplified AsFunOfOnly with pattern Ltac.
3 jobs for ci/lob_transformer in 11 minutes and 37 seconds (queued for 3 seconds)