support for analysis of Machine.Factory statements