Support simpler constructor that takes Term array in addition to previous constructor