Fixed bug in clafer processor