solver: copy underlying semantics more precisely

Signed-off-by: Jan Dvořák <mordae@anilinux.org>