NewXXXFRMachine checks better its arguments for being a machine