Reverted changes to the comprehension;

-> * needed to get the output flattened instead of in a set.
-> + is to get the transitive closure; prefixing + is not possible

Added java+constructor to the schemes that should be checked.