Initialize variables slot when making horn clause