draft implementation of method 0 and 1 to convert lower/upper bounds into generic LCP