functionaltests for logics and languages