Support prefixes in apply-construct-with-chunked-values

[blcham]

[blcham]

We want to:

• remove this line: https://github.com/kbss-cvut/lkpr-model/blob/926084ff4550011d0f248cf0d92bd366fa43b0fe/inference/inference.sms.ttl#L84
• because there is already prefix definition here: https://github.com/kbss-cvut/lkpr-model/blob/926084ff4550011d0f248cf0d92bd366fa43b0fe/inference/inference.sms.ttl#L24

It works correctly for sml:ApplyConstruct module, e.g. look to doc/examples/hello-world.sms.ttl.

[MSattrtand]

I can not replicate any error here. I'm inserting all the code from inference into hello-world and launching it the same way. Removing the prefix from construct-has-next-trail-point does not affect the result at all. It produces the same output without any crashes.