Is monomorphism still being worked on?

[Metric-Void]

I did some digging around and found that VF3L works with non-induced subgraphs, which means look-ahead in VF3 probably breaks monomorphism. Disabling that for non-induced subgraphs in IsFeasiblePair makes it correct, but I guess it also reduces VF3 to VF3L.

I wasn't able to dig any further as I couldn't correspond some terminologies in the code with the paper.

Is monomorphism still being worked on?