fix legal profiles
add premises to argument when doing a rule translation