[parser] stack overflow when referencing itself in the definition
java.lang.StackOverflowError at ltsa.lts.CompositeBody.getMachines(CompositionExpression.java:140) at ltsa.lts.CompositeBody.getPrefixedMachines(CompositionExpression.java:111) at ltsa.lts.CompositeBody.compose(CompositionExpression.java:74) at ltsa.lts.CompositionExpression.compose(CompositionExpression.java:229) at ltsa.lts.ProcessRef.instantiate(CompositionExpression.java:568)
controlled_det ||DET = DET~{G1}.