[Users] use of NO_ALLOCATION in simfactory machine definition files