tests: avoid potential infinite types with base_formal_isa