PROBCORE-574 Created command to load a b machine from an AST