added concrete variables clause + test