make sure the k of LogicalHeaviside be a positive integer
add LogicalMinimum and its tests