Corrected bug: AlgProp did not correctly compute a hash code, leading to bad equality checking using feq.