Abducted instantiations should end up in the conclusion of goals